Reflective Reasoning in Groups

Reflective Reasoning and Learning

The capability of learning is a prerequisite for autonomy. Autonomous intelligent agents, who solve problems in a realistic environment need to learn in order to extend the classes of problems they can solve, to improve their performance on these problems, and to improve the quality of the solutions they produce. One way in which an intelligent agent may effectively use its experiences to learn...

Automated reasoning for reflective programs

class Visitor {visit(Object obj) {try {Class obj_class = obj.getClass();String obj_className = obj_class.getName();String methodName = "visit" + obj_className;Class this_class = this.getClass();Method method = this_class.getMethod(methodName, obj_class);method.invoke(this, obj);}catch (NoSuchMethodException e) { }catch (IllegalAccessException e) { }<l...

Reflective Introspective Reasoning Through CBR

In recent years, “introspective reasoning” systems have been developed to model the ability to reason about one’s own reasoning performance. This research examines “reflective” introspective reasoning: introspecting about the introspective reasoning process, itself. We introduce a reflective introspective reasoning system that uses case-based reasoning (CBR) as its central reasoning method. We ...

Formalization and Reasoning in a Reflective Architecture

This paper is concerned with developing a reflective architecture for formalizing and reasoning about entities that occur in the process of software development, such as specifications, theorems, programs, and proofs. The starting point is a syntactic extension of the type theory ECC . An encoding of this object calculus within itself comprises the meta-level, and reflection principles are prov...

Groups facilitate self-reflective practice.